Abstract logic

Results: 1693



#Item
41

Probabilistic Logic with Conditional Independence Formulae1 Magdalena Ivanovska and Martin Giese2 Abstract. We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In cont

Add to Reading List

Source URL: heim.ifi.uio.no

Language: English - Date: 2010-08-17 14:49:51
    42

    Implication-Based and Cardinality-Based Inclusions in Information Retrieval Patrick Bosc, Laurent Ughetto, Olivier Pivert, and Vincent Claveau Abstract— This paper investigates the use of fuzzy logic mechanisms coming

    Add to Reading List

    Source URL: people.irisa.fr

    Language: English - Date: 2014-11-04 05:38:01
      43

      Univalence as a Principle of Logic Steve Awodey October 2016 Abstract It is sometimes convenient or useful in mathematics to treat isomorphic structures as the same. The recently proposed Univalence Axiom for the foundat

      Add to Reading List

      Source URL: www.andrew.cmu.edu

      - Date: 2018-02-12 22:13:01
        44

        A Dynamic-Logical Perspective on Quantum Behavior A. Baltag and S. Smets Abstract In this paper we show how recent concepts from Dynamic Logic, and in

        Add to Reading List

        Source URL: www.vub.ac.be

        - Date: 2008-02-22 13:26:37
          45

          Linear logic as a logical framework by Dale Miller, Inria Abstract to be presented at SD 2017: Structures & Deduction Logical frameworks have seen three decades of design, theory, implementation, and applications. An ear

          Add to Reading List

          Source URL: anupamdas.com

          - Date: 2017-08-04 11:45:45
            46

            Function compose, Type cut, And the Algebra of logic XIE Yuheng SZDIY community Abstract

            Add to Reading List

            Source URL: scheme2016.snow-fort.org

            - Date: 2016-09-23 10:04:45
              47

              COMPOSITIONAL AND HOLISTIC QUANTUM COMPUTATIONAL SEMANTICS MARIA LUISA DALLA CHIARA, ROBERTO GIUNTINI, AND ROBERTO LEPORINI Abstract. In quantum computational logic meanings of sentences are identified with quantum infor

              Add to Reading List

              Source URL: www.iub.edu

              - Date: 2009-04-04 22:10:32
                48

                QS7 Complete Axiomatizations for Quantum Actions A. Baltag∗ and S. Smets† Abstract We present two equivalent axiomatizations for a logic of quantum actions: one in terms of quantum transition systems, and the other i

                Add to Reading List

                Source URL: www.vub.ac.be

                - Date: 2005-04-07 17:35:20
                  49

                  Temporary Read-Only Permissions for Separation Logic Arthur Chargu´eraud and Fran¸cois Pottier Inria‹ Abstract. We present an extension of Separation Logic with a general

                  Add to Reading List

                  Source URL: www.chargueraud.org

                  - Date: 2017-02-23 04:12:21
                    50

                    From Categorical Logic to Facebook Engineering Peter O’Hearn Facebook & University College London Abstract I chart a line of development from category-theoretic

                    Add to Reading List

                    Source URL: research.fb.com

                    - Date: 2016-11-08 08:48:18
                      UPDATE